程序正确性证明proof: n. 1.证明;证据;【法律】证件;【法律】(口头或书面 ...correctness proof: 正确性证明proof of correctness: 程序正确性证明; 正确性证明correctness oriented programming: 正确性的程序设计correctness-oriented programming: 面向正确性的程序设计下载手机词典可随时随地查词查翻译